<template><div></div></template>
<script lang="ts">
   import Def from './SimpleVueNoTs.vue'
    console.log(Def);
   <error>Def.foo</error> = "aaa"
    
    export let <error>a</error>:string = 1; 
</script>
